Publisher version (open access) of Completeness and the contraction principle